Floating point

Results: 1574



#Item
11

Efficient Global Search for Inputs Triggering High Floating-Point Inaccuracies Xin Yi, Liqian Chen, Xiaoguang Mao, Tao Ji College of Computer, National University of Defense Technology Changsha, China Email: {yixi

Add to Reading List

Source URL: lqchen.github.io

Language: English - Date: 2018-08-14 11:59:25
    12

    LATEX3 News Issue 8, July 2012 Extended floating point support Bruno Le Floch has been re-writing the floating point module to function in an ‘expandable’ manner. This

    Add to Reading List

    Source URL: www.latex-project.org

    Language: English - Date: 2016-08-08 13:00:04
      13

      Robustness Analysis of Floating-Point Programs by Self-Composition Liqian Chen? , Jiahong Jiang, Banghu Yin, Wei Dong, and Ji Wang National Laboratory for Parallel and Distributed Processing, National University of Defen

      Add to Reading List

      Source URL: lqchen.github.io

      Language: English - Date: 2018-08-14 11:59:25
        14

        THE SYSTEM The 8510/a GRAPHICS COMPUTER SYSTEM consists of the Model 8510 DATA PROCESSOR, with FIS/EIS (Hardware floating point option) a 56K Byte memory/ video controller unit and the Model 8532 Keyboard/ Display. This

        Add to Reading List

        Source URL: www.bitsavers.org

        Language: English - Date: 2003-07-06 23:44:54
          15

          Combining Tools for Optimization and Analysis of Floating-Point Computations Heiko Becker1 , Pavel Panchekha2 , Eva Darulova1 , and Zachary Tatlock2 1 2

          Add to Reading List

          Source URL: people.mpi-sws.org

          Language: English - Date: 2018-05-16 11:46:35
            16

            Perturbing Numerical Calculations for Statistical Analysis of Floating-Point Program (In)Stability Enyi Tang† † Earl Barr‡

            Add to Reading List

            Source URL: earlbarr.com

            Language: English - Date: 2011-12-24 15:52:38
              17

              Efficient Implementation of Strict Floating-Point Semantics Kazuyuki Shudo Yoichi Muraoka School of Science and Engineering, Waseda University, 3–4–1 Okubo, Shinjuku-ku, Tokyo 169–8555, JAPAN {shudoh,muraoka}@murao

              Add to Reading List

              Source URL: www.shudo.net

              Language: English - Date: 2003-06-09 05:29:35
                18

                302 IEEE TRANSACTIONS ON COMPUTERS, VOL. 44, NO. 2. FEBRUARY 1995 Floating Point Fault Tolerance with Backward Error Assertions

                Add to Reading List

                Source URL: crc.stanford.edu

                Language: English - Date: 2015-09-30 01:46:58
                  19Computer arithmetic / Arithmetic / Binary arithmetic / Computing / Computer architecture / Decimal64 floating-point format / Decimal floating point / IEEE 754 / Decimal128 floating-point format / Binary integer decimal / Double-precision floating-point format / Binary number

                  Comparison between binary64 and decimal64 floating-point numbers Nicolas Brisebarre, Marc Mezzarobba Jean-Michel Muller Laboratoire LIP CNRS, ENS Lyon, INRIA,

                  Add to Reading List

                  Source URL: www.marc.mezzarobba.net

                  Language: English - Date: 2016-10-21 07:59:29
                  UPDATE